Modular programming - PDFSEARCH.IO - Document Search Engine

Modular programming
Results: 224

#	Item
91	Maria Modular Reachability Analyzer for Algebraic System Nets 20 June 2003, Maria Versionby Marko M¨ akel¨ Add to Reading List Source URL: www.tcs.hut.fi Language: English - Date: 2003-06-20 09:11:14 C programming language Cross-platform software Programming language implementation Procedural programming languages Punctuation C preprocessor Maria Preprocessor C Software engineering Computing Computer programming
92	Form Methods Syst Des: 61–92 DOIs10703MAVEN: modular aspect verification and interference analysis Max Goldman · Emilia Katz · Shmuel Katz Add to Reading List Source URL: www.cs.technion.ac.il Language: English - Date: 2011-03-31 08:13:05 Aspect-oriented programming Join point Linear temporal logic AspectJ Pointcut Formal verification Model checking Kripke structure Temporal logic Software development Software Aspect-oriented software development
93	Modular Type Classes Derek Dreyer Robert Harper Toyota Technological Institute at Chicago Add to Reading List Source URL: www.mpi-sws.org Language: English - Date: 2008-08-07 13:41:05 Software engineering Programming language theory Deduction Functional programming Type class Entailment Standard ML Type system Sheaf Logic Type theory Data types
94	Programming language optimizations for modular router configurations Eddie Kohler∗ ∗ Robert Morris† Add to Reading List Source URL: pdos.csail.mit.edu Language: English - Date: 2002-08-01 14:31:16 Networking hardware Router Server appliance Packet Processing Network switch Communications protocol Firewall Forwarding plane Computing Network architecture Data
95	design Editor: Martin Fowler ■ T h o u g h t Wo r k s Add to Reading List Source URL: www.martinfowler.com Language: English - Date: 2015-04-10 15:16:06 Object-oriented programming Interfaces Java programming language Information hiding Java Class Modular programming Eiffel User interface Software engineering Computing Computer programming
96	MiniAgda: Integrating Sized and Dependent Types Andreas Abel∗ Department of Computer Science Ludwig-Maximilians-University Munich Abstract Sized types are a modular and theoretically well-understood tool for checking t Add to Reading List Source URL: www2.tcs.ifi.lmu.de Language: English - Date: 2010-05-11 12:12:37 Functional programming Type theory Data types Recursion Category theory System F F-algebra Algebraic data type Fold Software engineering Computer programming Computing
97	Section 3 MODERNIZATION THROUGH MODULARITY “We need to do a better job of ensuring that our designs are modular - and that the government is in a position to control all the relevant interfaces…” Add to Reading List Source URL: www.defenseinnovationmarketplace.mil Language: English - Date: 2015-04-10 15:49:32 Systems science Systems theory Engineering Modular programming Holism Modular design Modularity
98	Duplication of Modules Facilitates the Evolution of Functional Specialization Abstract The evolution of simulated robots with three different architectures is studied in this article. We compare a Add to Reading List Source URL: laral.istc.cnr.it Language: English - Date: 2014-07-14 15:36:14 Modularity Modular design Modular programming Functional specialization Gene duplication Neural network Population genetics Holism Biology Science
99	MA299Doc. ver.: 1.7 M16C v3.1 C Compiler, Assembler, Linker Add to Reading List Source URL: www.tasking.com Language: English - Date: 2010-03-26 05:30:36 Assembly language Compiler Inline expansion ACC Static library Linker IBM Basic assembly language Modular programming GNU linker Software Computing Programming language implementation
100	Modular Module Systems: a survey Christopher League LIU Brooklyn Northeast Scala Symposium Add to Reading List Source URL: contrapunctus.net Language: English - Date: 2012-07-17 18:29:45 C++ Cross-platform software Procedural programming languages C programming language Namespace Struct Perl module C Template Software engineering Computing Computer programming

UPDATE